Metric Temporal Description Logics with Interval-Rigid Names

Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract)

In contrast to qualitative linear temporal logics, which can be used to state that some property will eventually be satisfied, metric temporal logics allow to formulate constraints on how long it may take until the property is satisfied. While most of the work on combining Description Logics (DLs) with temporal logics has concentrated on qualitative temporal logics, there has recently been a gr...

Chair for Automata Theory

In contrast to qualitative linear temporal logics, which can be used to state that some property will eventually be satisfied, metric temporal logics allow to formulate constraints on how long it may take until the property is satisfied. While most of the work on combining Description Logics (DLs) with temporal logics has concentrated on qualitative temporal logics, there has recently been a gr...

Interval Logics for Temporal

Interval Logics for Temporal Speci cation and Veri cation by Y. S. Ramakrishna This thesis investigates temporal speci cation and veri cation techniques using a linear-time temporal logic with interval constructs. It identi es an expressive elementary logic with interval modalities, called Future Interval Logic (FIL). This logic has a natural graphical representation which, combined with its ab...

The Complexity of Temporal Description Logics with Rigid Roles and Restricted TBoxes: In Quest of Saving a Troublesome Marriage

On Metric Temporal Description Logics

We introduce metric temporal description logics (mTDLs) as combinations of the classical description logic ALC with (a) LTL, an extension of the temporal logic LTL with succinctly represented intervals, and (b) metric temporal logic MTL, extending LTL with capabilities to quantitatively reason about time delays. Our main contributions are algorithms and tight complexity bounds for the satisfiab...